Optimal. Leaf size=296 \[ -\frac {(5-4 x) (2 x+1)^{5/2}}{31 \left (5 x^2+3 x+2\right )}-\frac {8}{155} (2 x+1)^{3/2}+\frac {604}{775} \sqrt {2 x+1}+\frac {1}{775} \sqrt {\frac {1}{310} \left (5682718+968975 \sqrt {35}\right )} \log \left (5 (2 x+1)-\sqrt {10 \left (2+\sqrt {35}\right )} \sqrt {2 x+1}+\sqrt {35}\right )-\frac {1}{775} \sqrt {\frac {1}{310} \left (5682718+968975 \sqrt {35}\right )} \log \left (5 (2 x+1)+\sqrt {10 \left (2+\sqrt {35}\right )} \sqrt {2 x+1}+\sqrt {35}\right )+\frac {1}{775} \sqrt {\frac {2}{155} \left (968975 \sqrt {35}-5682718\right )} \tan ^{-1}\left (\frac {\sqrt {10 \left (2+\sqrt {35}\right )}-10 \sqrt {2 x+1}}{\sqrt {10 \left (\sqrt {35}-2\right )}}\right )-\frac {1}{775} \sqrt {\frac {2}{155} \left (968975 \sqrt {35}-5682718\right )} \tan ^{-1}\left (\frac {10 \sqrt {2 x+1}+\sqrt {10 \left (2+\sqrt {35}\right )}}{\sqrt {10 \left (\sqrt {35}-2\right )}}\right ) \]
________________________________________________________________________________________
Rubi [A] time = 0.45, antiderivative size = 296, normalized size of antiderivative = 1.00, number of steps used = 13, number of rules used = 8, integrand size = 22, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.364, Rules used = {738, 824, 826, 1169, 634, 618, 204, 628} \begin {gather*} -\frac {(5-4 x) (2 x+1)^{5/2}}{31 \left (5 x^2+3 x+2\right )}-\frac {8}{155} (2 x+1)^{3/2}+\frac {604}{775} \sqrt {2 x+1}+\frac {1}{775} \sqrt {\frac {1}{310} \left (5682718+968975 \sqrt {35}\right )} \log \left (5 (2 x+1)-\sqrt {10 \left (2+\sqrt {35}\right )} \sqrt {2 x+1}+\sqrt {35}\right )-\frac {1}{775} \sqrt {\frac {1}{310} \left (5682718+968975 \sqrt {35}\right )} \log \left (5 (2 x+1)+\sqrt {10 \left (2+\sqrt {35}\right )} \sqrt {2 x+1}+\sqrt {35}\right )+\frac {1}{775} \sqrt {\frac {2}{155} \left (968975 \sqrt {35}-5682718\right )} \tan ^{-1}\left (\frac {\sqrt {10 \left (2+\sqrt {35}\right )}-10 \sqrt {2 x+1}}{\sqrt {10 \left (\sqrt {35}-2\right )}}\right )-\frac {1}{775} \sqrt {\frac {2}{155} \left (968975 \sqrt {35}-5682718\right )} \tan ^{-1}\left (\frac {10 \sqrt {2 x+1}+\sqrt {10 \left (2+\sqrt {35}\right )}}{\sqrt {10 \left (\sqrt {35}-2\right )}}\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 204
Rule 618
Rule 628
Rule 634
Rule 738
Rule 824
Rule 826
Rule 1169
Rubi steps
\begin {align*} \int \frac {(1+2 x)^{7/2}}{\left (2+3 x+5 x^2\right )^2} \, dx &=-\frac {(5-4 x) (1+2 x)^{5/2}}{31 \left (2+3 x+5 x^2\right )}+\frac {1}{31} \int \frac {(29-12 x) (1+2 x)^{3/2}}{2+3 x+5 x^2} \, dx\\ &=-\frac {8}{155} (1+2 x)^{3/2}-\frac {(5-4 x) (1+2 x)^{5/2}}{31 \left (2+3 x+5 x^2\right )}+\frac {1}{155} \int \frac {\sqrt {1+2 x} (193+302 x)}{2+3 x+5 x^2} \, dx\\ &=\frac {604}{775} \sqrt {1+2 x}-\frac {8}{155} (1+2 x)^{3/2}-\frac {(5-4 x) (1+2 x)^{5/2}}{31 \left (2+3 x+5 x^2\right )}+\frac {1}{775} \int \frac {-243+1628 x}{\sqrt {1+2 x} \left (2+3 x+5 x^2\right )} \, dx\\ &=\frac {604}{775} \sqrt {1+2 x}-\frac {8}{155} (1+2 x)^{3/2}-\frac {(5-4 x) (1+2 x)^{5/2}}{31 \left (2+3 x+5 x^2\right )}+\frac {2}{775} \operatorname {Subst}\left (\int \frac {-2114+1628 x^2}{7-4 x^2+5 x^4} \, dx,x,\sqrt {1+2 x}\right )\\ &=\frac {604}{775} \sqrt {1+2 x}-\frac {8}{155} (1+2 x)^{3/2}-\frac {(5-4 x) (1+2 x)^{5/2}}{31 \left (2+3 x+5 x^2\right )}+\frac {\operatorname {Subst}\left (\int \frac {-2114 \sqrt {\frac {2}{5} \left (2+\sqrt {35}\right )}-\left (-2114-1628 \sqrt {\frac {7}{5}}\right ) x}{\sqrt {\frac {7}{5}}-\sqrt {\frac {2}{5} \left (2+\sqrt {35}\right )} x+x^2} \, dx,x,\sqrt {1+2 x}\right )}{775 \sqrt {14 \left (2+\sqrt {35}\right )}}+\frac {\operatorname {Subst}\left (\int \frac {-2114 \sqrt {\frac {2}{5} \left (2+\sqrt {35}\right )}+\left (-2114-1628 \sqrt {\frac {7}{5}}\right ) x}{\sqrt {\frac {7}{5}}+\sqrt {\frac {2}{5} \left (2+\sqrt {35}\right )} x+x^2} \, dx,x,\sqrt {1+2 x}\right )}{775 \sqrt {14 \left (2+\sqrt {35}\right )}}\\ &=\frac {604}{775} \sqrt {1+2 x}-\frac {8}{155} (1+2 x)^{3/2}-\frac {(5-4 x) (1+2 x)^{5/2}}{31 \left (2+3 x+5 x^2\right )}-\frac {\sqrt {1460631-245828 \sqrt {35}} \operatorname {Subst}\left (\int \frac {1}{\sqrt {\frac {7}{5}}-\sqrt {\frac {2}{5} \left (2+\sqrt {35}\right )} x+x^2} \, dx,x,\sqrt {1+2 x}\right )}{3875}-\frac {\sqrt {1460631-245828 \sqrt {35}} \operatorname {Subst}\left (\int \frac {1}{\sqrt {\frac {7}{5}}+\sqrt {\frac {2}{5} \left (2+\sqrt {35}\right )} x+x^2} \, dx,x,\sqrt {1+2 x}\right )}{3875}+\frac {1}{775} \sqrt {\frac {1}{310} \left (5682718+968975 \sqrt {35}\right )} \operatorname {Subst}\left (\int \frac {-\sqrt {\frac {2}{5} \left (2+\sqrt {35}\right )}+2 x}{\sqrt {\frac {7}{5}}-\sqrt {\frac {2}{5} \left (2+\sqrt {35}\right )} x+x^2} \, dx,x,\sqrt {1+2 x}\right )-\frac {1}{775} \sqrt {\frac {1}{310} \left (5682718+968975 \sqrt {35}\right )} \operatorname {Subst}\left (\int \frac {\sqrt {\frac {2}{5} \left (2+\sqrt {35}\right )}+2 x}{\sqrt {\frac {7}{5}}+\sqrt {\frac {2}{5} \left (2+\sqrt {35}\right )} x+x^2} \, dx,x,\sqrt {1+2 x}\right )\\ &=\frac {604}{775} \sqrt {1+2 x}-\frac {8}{155} (1+2 x)^{3/2}-\frac {(5-4 x) (1+2 x)^{5/2}}{31 \left (2+3 x+5 x^2\right )}+\frac {1}{775} \sqrt {\frac {1}{310} \left (5682718+968975 \sqrt {35}\right )} \log \left (\sqrt {35}-\sqrt {10 \left (2+\sqrt {35}\right )} \sqrt {1+2 x}+5 (1+2 x)\right )-\frac {1}{775} \sqrt {\frac {1}{310} \left (5682718+968975 \sqrt {35}\right )} \log \left (\sqrt {35}+\sqrt {10 \left (2+\sqrt {35}\right )} \sqrt {1+2 x}+5 (1+2 x)\right )+\frac {\left (2 \sqrt {1460631-245828 \sqrt {35}}\right ) \operatorname {Subst}\left (\int \frac {1}{\frac {2}{5} \left (2-\sqrt {35}\right )-x^2} \, dx,x,-\sqrt {\frac {2}{5} \left (2+\sqrt {35}\right )}+2 \sqrt {1+2 x}\right )}{3875}+\frac {\left (2 \sqrt {1460631-245828 \sqrt {35}}\right ) \operatorname {Subst}\left (\int \frac {1}{\frac {2}{5} \left (2-\sqrt {35}\right )-x^2} \, dx,x,\sqrt {\frac {2}{5} \left (2+\sqrt {35}\right )}+2 \sqrt {1+2 x}\right )}{3875}\\ &=\frac {604}{775} \sqrt {1+2 x}-\frac {8}{155} (1+2 x)^{3/2}-\frac {(5-4 x) (1+2 x)^{5/2}}{31 \left (2+3 x+5 x^2\right )}+\frac {1}{775} \sqrt {\frac {2}{155} \left (-5682718+968975 \sqrt {35}\right )} \tan ^{-1}\left (\sqrt {\frac {5}{2 \left (-2+\sqrt {35}\right )}} \left (\sqrt {\frac {2}{5} \left (2+\sqrt {35}\right )}-2 \sqrt {1+2 x}\right )\right )-\frac {1}{775} \sqrt {\frac {2}{155} \left (-5682718+968975 \sqrt {35}\right )} \tan ^{-1}\left (\sqrt {\frac {5}{2 \left (-2+\sqrt {35}\right )}} \left (\sqrt {\frac {2}{5} \left (2+\sqrt {35}\right )}+2 \sqrt {1+2 x}\right )\right )+\frac {1}{775} \sqrt {\frac {1}{310} \left (5682718+968975 \sqrt {35}\right )} \log \left (\sqrt {35}-\sqrt {10 \left (2+\sqrt {35}\right )} \sqrt {1+2 x}+5 (1+2 x)\right )-\frac {1}{775} \sqrt {\frac {1}{310} \left (5682718+968975 \sqrt {35}\right )} \log \left (\sqrt {35}+\sqrt {10 \left (2+\sqrt {35}\right )} \sqrt {1+2 x}+5 (1+2 x)\right )\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] time = 0.44, size = 199, normalized size = 0.67 \begin {gather*} \frac {1}{217} \left (\frac {(20 x+37) (2 x+1)^{9/2}}{5 x^2+3 x+2}-8 (2 x+1)^{7/2}-28 (2 x+1)^{5/2}-\frac {56}{5} (2 x+1)^{3/2}+\frac {4228}{25} \sqrt {2 x+1}-\frac {14 i \left (\sqrt {2-i \sqrt {31}} \left (512 \sqrt {31}-4681 i\right ) \tanh ^{-1}\left (\frac {\sqrt {10 x+5}}{\sqrt {2-i \sqrt {31}}}\right )-\sqrt {2+i \sqrt {31}} \left (512 \sqrt {31}+4681 i\right ) \tanh ^{-1}\left (\frac {\sqrt {10 x+5}}{\sqrt {2+i \sqrt {31}}}\right )\right )}{775 \sqrt {5}}\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [C] time = 1.66, size = 158, normalized size = 0.53 \begin {gather*} \frac {4 \sqrt {2 x+1} \left (620 (2 x+1)^2-674 (2 x+1)+1057\right )}{775 \left (5 (2 x+1)^2-4 (2 x+1)+7\right )}-\frac {2}{775} \sqrt {\frac {1}{155} \left (-5682718+135439 i \sqrt {31}\right )} \tan ^{-1}\left (\sqrt {-\frac {2}{7}-\frac {i \sqrt {31}}{7}} \sqrt {2 x+1}\right )-\frac {2}{775} \sqrt {\frac {1}{155} \left (-5682718-135439 i \sqrt {31}\right )} \tan ^{-1}\left (\sqrt {-\frac {2}{7}+\frac {i \sqrt {31}}{7}} \sqrt {2 x+1}\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 0.45, size = 541, normalized size = 1.83 \begin {gather*} \frac {16794436 \cdot 21898835^{\frac {1}{4}} \sqrt {155} \sqrt {35} {\left (5 \, x^{2} + 3 \, x + 2\right )} \sqrt {-11012823348100 \, \sqrt {35} + 65723878543750} \arctan \left (\frac {1}{60332699662225359002939375} \cdot 21898835^{\frac {3}{4}} \sqrt {4369} \sqrt {3955} \sqrt {155} \sqrt {21898835^{\frac {1}{4}} \sqrt {155} {\left (814 \, \sqrt {35} \sqrt {31} + 5285 \, \sqrt {31}\right )} \sqrt {2 \, x + 1} \sqrt {-11012823348100 \, \sqrt {35} + 65723878543750} + 40683471557750 \, x + 4068347155775 \, \sqrt {35} + 20341735778875} {\left (151 \, \sqrt {35} + 814\right )} \sqrt {-11012823348100 \, \sqrt {35} + 65723878543750} - \frac {1}{3218062600218025} \cdot 21898835^{\frac {3}{4}} \sqrt {155} \sqrt {2 \, x + 1} {\left (151 \, \sqrt {35} + 814\right )} \sqrt {-11012823348100 \, \sqrt {35} + 65723878543750} - \frac {1}{31} \, \sqrt {35} \sqrt {31} - \frac {2}{31} \, \sqrt {31}\right ) + 16794436 \cdot 21898835^{\frac {1}{4}} \sqrt {155} \sqrt {35} {\left (5 \, x^{2} + 3 \, x + 2\right )} \sqrt {-11012823348100 \, \sqrt {35} + 65723878543750} \arctan \left (\frac {1}{4223288976355775130205756250} \cdot 21898835^{\frac {3}{4}} \sqrt {4369} \sqrt {155} \sqrt {-19379500 \cdot 21898835^{\frac {1}{4}} \sqrt {155} {\left (814 \, \sqrt {35} \sqrt {31} + 5285 \, \sqrt {31}\right )} \sqrt {2 \, x + 1} \sqrt {-11012823348100 \, \sqrt {35} + 65723878543750} + 788425337053416125000 \, x + 78842533705341612500 \, \sqrt {35} + 394212668526708062500} {\left (151 \, \sqrt {35} + 814\right )} \sqrt {-11012823348100 \, \sqrt {35} + 65723878543750} - \frac {1}{3218062600218025} \cdot 21898835^{\frac {3}{4}} \sqrt {155} \sqrt {2 \, x + 1} {\left (151 \, \sqrt {35} + 814\right )} \sqrt {-11012823348100 \, \sqrt {35} + 65723878543750} + \frac {1}{31} \, \sqrt {35} \sqrt {31} + \frac {2}{31} \, \sqrt {31}\right ) - 21898835^{\frac {1}{4}} \sqrt {155} {\left (5682718 \, \sqrt {35} \sqrt {31} {\left (5 \, x^{2} + 3 \, x + 2\right )} + 33914125 \, \sqrt {31} {\left (5 \, x^{2} + 3 \, x + 2\right )}\right )} \sqrt {-11012823348100 \, \sqrt {35} + 65723878543750} \log \left (\frac {19379500}{4369} \cdot 21898835^{\frac {1}{4}} \sqrt {155} {\left (814 \, \sqrt {35} \sqrt {31} + 5285 \, \sqrt {31}\right )} \sqrt {2 \, x + 1} \sqrt {-11012823348100 \, \sqrt {35} + 65723878543750} + 180458992230125000 \, x + 18045899223012500 \, \sqrt {35} + 90229496115062500\right ) + 21898835^{\frac {1}{4}} \sqrt {155} {\left (5682718 \, \sqrt {35} \sqrt {31} {\left (5 \, x^{2} + 3 \, x + 2\right )} + 33914125 \, \sqrt {31} {\left (5 \, x^{2} + 3 \, x + 2\right )}\right )} \sqrt {-11012823348100 \, \sqrt {35} + 65723878543750} \log \left (-\frac {19379500}{4369} \cdot 21898835^{\frac {1}{4}} \sqrt {155} {\left (814 \, \sqrt {35} \sqrt {31} + 5285 \, \sqrt {31}\right )} \sqrt {2 \, x + 1} \sqrt {-11012823348100 \, \sqrt {35} + 65723878543750} + 180458992230125000 \, x + 18045899223012500 \, \sqrt {35} + 90229496115062500\right ) + 1261187618290250 \, {\left (2480 \, x^{2} + 1132 \, x + 1003\right )} \sqrt {2 \, x + 1}}{977420404174943750 \, {\left (5 \, x^{2} + 3 \, x + 2\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [B] time = 1.34, size = 633, normalized size = 2.14
result too large to display
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [B] time = 0.37, size = 651, normalized size = 2.20 \begin {gather*} \frac {3657 \left (2 \sqrt {5}\, \sqrt {7}+4\right ) \arctan \left (\frac {-\sqrt {5}\, \sqrt {2 \sqrt {5}\, \sqrt {7}+4}+10 \sqrt {2 x +1}}{\sqrt {10 \sqrt {5}\, \sqrt {7}-20}}\right )}{24025 \sqrt {10 \sqrt {5}\, \sqrt {7}-20}}+\frac {512 \sqrt {5}\, \left (2 \sqrt {5}\, \sqrt {7}+4\right ) \sqrt {7}\, \arctan \left (\frac {-\sqrt {5}\, \sqrt {2 \sqrt {5}\, \sqrt {7}+4}+10 \sqrt {2 x +1}}{\sqrt {10 \sqrt {5}\, \sqrt {7}-20}}\right )}{24025 \sqrt {10 \sqrt {5}\, \sqrt {7}-20}}-\frac {604 \sqrt {5}\, \sqrt {7}\, \arctan \left (\frac {-\sqrt {5}\, \sqrt {2 \sqrt {5}\, \sqrt {7}+4}+10 \sqrt {2 x +1}}{\sqrt {10 \sqrt {5}\, \sqrt {7}-20}}\right )}{775 \sqrt {10 \sqrt {5}\, \sqrt {7}-20}}+\frac {3657 \left (2 \sqrt {5}\, \sqrt {7}+4\right ) \arctan \left (\frac {\sqrt {5}\, \sqrt {2 \sqrt {5}\, \sqrt {7}+4}+10 \sqrt {2 x +1}}{\sqrt {10 \sqrt {5}\, \sqrt {7}-20}}\right )}{24025 \sqrt {10 \sqrt {5}\, \sqrt {7}-20}}+\frac {512 \sqrt {5}\, \left (2 \sqrt {5}\, \sqrt {7}+4\right ) \sqrt {7}\, \arctan \left (\frac {\sqrt {5}\, \sqrt {2 \sqrt {5}\, \sqrt {7}+4}+10 \sqrt {2 x +1}}{\sqrt {10 \sqrt {5}\, \sqrt {7}-20}}\right )}{24025 \sqrt {10 \sqrt {5}\, \sqrt {7}-20}}-\frac {604 \sqrt {5}\, \sqrt {7}\, \arctan \left (\frac {\sqrt {5}\, \sqrt {2 \sqrt {5}\, \sqrt {7}+4}+10 \sqrt {2 x +1}}{\sqrt {10 \sqrt {5}\, \sqrt {7}-20}}\right )}{775 \sqrt {10 \sqrt {5}\, \sqrt {7}-20}}+\frac {3657 \sqrt {5}\, \sqrt {2 \sqrt {5}\, \sqrt {7}+4}\, \ln \left (10 x +\sqrt {5}\, \sqrt {7}-\sqrt {2 \sqrt {5}\, \sqrt {7}+4}\, \sqrt {5}\, \sqrt {2 x +1}+5\right )}{240250}+\frac {256 \sqrt {7}\, \sqrt {2 \sqrt {5}\, \sqrt {7}+4}\, \ln \left (10 x +\sqrt {5}\, \sqrt {7}-\sqrt {2 \sqrt {5}\, \sqrt {7}+4}\, \sqrt {5}\, \sqrt {2 x +1}+5\right )}{24025}-\frac {3657 \sqrt {5}\, \sqrt {2 \sqrt {5}\, \sqrt {7}+4}\, \ln \left (10 x +\sqrt {5}\, \sqrt {7}+\sqrt {2 \sqrt {5}\, \sqrt {7}+4}\, \sqrt {5}\, \sqrt {2 x +1}+5\right )}{240250}-\frac {256 \sqrt {7}\, \sqrt {2 \sqrt {5}\, \sqrt {7}+4}\, \ln \left (10 x +\sqrt {5}\, \sqrt {7}+\sqrt {2 \sqrt {5}\, \sqrt {7}+4}\, \sqrt {5}\, \sqrt {2 x +1}+5\right )}{24025}+\frac {16 \sqrt {2 x +1}}{25}+\frac {-\frac {712 \left (2 x +1\right )^{\frac {3}{2}}}{3875}+\frac {756 \sqrt {2 x +1}}{3875}}{-\frac {8 x}{5}+\left (2 x +1\right )^{2}+\frac {3}{5}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {{\left (2 \, x + 1\right )}^{\frac {7}{2}}}{{\left (5 \, x^{2} + 3 \, x + 2\right )}^{2}}\,{d x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 0.15, size = 216, normalized size = 0.73 \begin {gather*} \frac {16\,\sqrt {2\,x+1}}{25}+\frac {\frac {756\,\sqrt {2\,x+1}}{3875}-\frac {712\,{\left (2\,x+1\right )}^{3/2}}{3875}}{{\left (2\,x+1\right )}^2-\frac {8\,x}{5}+\frac {3}{5}}-\frac {\sqrt {155}\,\mathrm {atan}\left (\frac {\sqrt {155}\,\sqrt {5682718-\sqrt {31}\,135439{}\mathrm {i}}\,\sqrt {2\,x+1}\,559232{}\mathrm {i}}{46923828125\,\left (-\frac {2004287488}{9384765625}+\frac {\sqrt {31}\,591108224{}\mathrm {i}}{9384765625}\right )}+\frac {1118464\,\sqrt {31}\,\sqrt {155}\,\sqrt {5682718-\sqrt {31}\,135439{}\mathrm {i}}\,\sqrt {2\,x+1}}{1454638671875\,\left (-\frac {2004287488}{9384765625}+\frac {\sqrt {31}\,591108224{}\mathrm {i}}{9384765625}\right )}\right )\,\sqrt {5682718-\sqrt {31}\,135439{}\mathrm {i}}\,2{}\mathrm {i}}{120125}+\frac {\sqrt {155}\,\mathrm {atan}\left (\frac {\sqrt {155}\,\sqrt {5682718+\sqrt {31}\,135439{}\mathrm {i}}\,\sqrt {2\,x+1}\,559232{}\mathrm {i}}{46923828125\,\left (\frac {2004287488}{9384765625}+\frac {\sqrt {31}\,591108224{}\mathrm {i}}{9384765625}\right )}-\frac {1118464\,\sqrt {31}\,\sqrt {155}\,\sqrt {5682718+\sqrt {31}\,135439{}\mathrm {i}}\,\sqrt {2\,x+1}}{1454638671875\,\left (\frac {2004287488}{9384765625}+\frac {\sqrt {31}\,591108224{}\mathrm {i}}{9384765625}\right )}\right )\,\sqrt {5682718+\sqrt {31}\,135439{}\mathrm {i}}\,2{}\mathrm {i}}{120125} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F(-1)] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________